Pushing the Sonic Border — Sonic 1.0
نویسنده
چکیده
This paper reports on extensions of the Description Logics non-standard inference system Sonic. The recent contributions to the system are two-fold. Firstly, Sonic is extended by two new of non-standard inferences, namely, implementations of the good common subsumer w.r.t. a background terminology and a heuristics for computing a minimal rewriting. Secondly, Sonic is available as a plugin for the wellknown ontology editor Protégé [11].
منابع مشابه
Prolegomena to sonic toys
A variety of electronic sonic toys is available in the market. However, such toys are usually played by pushing buttons which trigger different sampled sounds. In this paper we advocate the possibility of using continuous natural gestures connected with synthesized sounds for the creation of enactive sonic toys. Keywords— sonic toys, Human-Computer Interaction, Multimodal Interaction
متن کاملAn Accurate Empirical Correlation to Estimate Sonic speed of Ionic Liquids
In recent years there has been a great deal of attention paid by researchers in investigating ionic liquids (ILs) mainly due to the tremendous potential that ionic liquids have in reaction and separation technology. Sonic speed is an important thermodynamic property of ionic liquids (ILs) and always chosen as a source to determine other properties. A database for the sonic speed of pure ILs cre...
متن کاملPerformance of Nondestructive Sonic Echo Testing Method on Partially Dismantled Unknown Wood Bridge Foundations; A Case Study
Sonic Echo (SE) testing method is a well-known, versatile method to gather information pertaining to unknown bridge foundations. Many studies on the applicability and methodology improvement of SE tests to evaluate individual piles and foundations supporting the superstructure have been reported previously. However, there is a rare opportunity for obtaining the performance of SE tests without t...
متن کاملDetermination of Pore Pressure from Sonic Log: a Case Study on One of Iran Carbonate Reservoir Rocks
Pore pressureis defined as the pressure of the fluid inside the pore space of the formation, which is also known as the formation pressure. When the pore pressure is higher than hydrostatic pressure, it is referred to as overpressure. Knowledge of this pressure is essential for cost-effective drilling, safe well planning, and efficient reservoir modeling. The main objective of this study is to ...
متن کاملPerformance of methylation and expression fluctuations of sonic hedgehog genes in gastric adenocarcinoma
Gastric cancer (GC) is considered as one of the most serious cancers, and in Iran, due to environmental factors in different regions, it has a high frequency. Apart from environmental factors, genetic and epigenetic ones also play a key role in the development of carcinogenesis of GC. In this regard, the study of functioning of the molecular mechanisms involved in the carcinogenesis and also tu...
متن کامل